Remove bogus extra unmap_domain_page() call in

free_monitor_pagetable().

Signed-off-by: Xin Li <xin.b.li@intel.com>

diff --git a/xen/arch/x86/shadow32.c b/xen/arch/x86/shadow32.c
index 8f0d88c38ca7d46fec51809c52e1b9e63430d927..d6591f586a880569526bfeb58a5d9a3dfa908d3a 100644 (file)
--- a/xen/arch/x86/shadow32.c
+++ b/xen/arch/x86/shadow32.c
@@ -796,8 +796,6 @@ void free_monitor_pagetable(struct vcpu *v)
         put_shadow_ref(mfn);
     }
 
-    unmap_domain_page(mpl2e);
-
     /*
      * Then free monitor_table.
      */

diff --git a/xen/arch/x86/shadow_public.c b/xen/arch/x86/shadow_public.c
index fbf6e025c0691603f6a26a7b6cc0d4ac2a47d041..c2f2afd9f3ab81f4323a80f24d6dcbb27bbc74ee 100644 (file)
--- a/xen/arch/x86/shadow_public.c
+++ b/xen/arch/x86/shadow_public.c
@@ -390,8 +390,6 @@ void free_monitor_pagetable(struct vcpu *v)
         put_shadow_ref(mfn);
     }
 
-    unmap_domain_page(mpl2e);
-
     /*
      * Then free monitor_table.
      */